$\forall$$p$:(ES\{i\}$\rightarrow$Prop$_{\mbox{\scriptsize i'}}$), $e$:possible{-}event\{i:l\}($p$). pe{-}loc($e$) $\in$ Id